The K°-relation on the Congruence Lattice of a Regular Semigroup with an Inverse Transversal

Let S be a regular semigroup with an inverse transversal S° and C(S) the congruence lattice of S. A relation K° on C(S) is introduced as follows: if ρ, θ∈ C(S), then we say that ρ and θ are K°-related if Ker ρ° = Ker θ° , where ρ° = ρ|S°. Expressions for the least and the greatest congruences in the same K°-class as ρ are provided. A number of equivalent conditions for K° being a congruence are given.     

舟山群岛峡道水动力及沉积特性

本文根据浙江舟山群岛地区金塘水道、册子水道、虾峙门水道和灌门水道的水文泥沙和沉积资料,以峡道水动力特性为出发点,分析了峡道环境中的水文泥沙特性和沉积特性,初步探讨了沉积峡道效应。文章指出,沉积峡道效应是指在峡道环境中,受峡道水动力特性及其影响下的泥沙运动作用,在峡道中所形成的沉积特点和变化过程,这种变化既不同于受单向水流作用的河流环境,也不同于受盐淡水共同作用的河口环境,也有别于开敞的海岸环境,峡道沉积的重要特点在于,在垂直于水流运动方向的横向上,存在显著的沉积相变。     

Stability for basic system of equations of atmospheric motion

The topological characteristics for the basic system of equations of atmospheric motion were analyzed with the help of method provided by stratification theory. It was proved that in the local rectangular coordinate system the basic system of equations of atmospheric motion is stable in infinitely differentiable function class. In the sense of local solution, the necessary and sufficient conditions by which the typical problem for determining solution is well posed were also given. Such problems as something about ＂speculating future from past＂ in atmospheric dynamics and how to amend the conditions for determining solution as well as the choice of underlying surface when involving the practical application were further discussed. It is also pointed out that under the usual conditions, three motion equations and continuity equation in the basic system of equations determine entirely the property of this system of equations.     

Stability of a Laser-diode-pumped Cr4+∶YAG Passively Q-switched Nd3+∶YAG Laser

In this paper, the stability of a laser-diode-pumped Cr4+∶YAG passively Nd3+∶YAG Q-switched laser and the influence of the transversal mode structure on the stability are investigated. With the laser operating in TEM00 mode, the pulse energy fluctuation and the repetition rate fluctuation as functions of the repetition rate are measured, and semi-quantitatively and qualitatively analyzed, respectively.     

Halving transversal designs

A factor H of a transversal design TD(k,n) = (V,𝒢, ℬ︁), where V is the set of points, 𝒢 the set of groups of size n and ℬ︁ the set of blocks of size k, is a triple (V,𝒢, 𝒟) such that 𝒟 is a subset of ℬ︁. A halving of a TD (k, n) is a pair of factors H_i = (V, 𝒢, 𝒟_i), i = 1,2 such that 𝒟₁ ∪ 𝒟₂ = ℬ︁, 𝒟₁ ∩ 𝒟₂ = ∅︁ and H₁ is isomorphic to H₂. A path of length q is a sequence x₀, x₁,…,x_q of points such that for each i = 1, 2,…, q the points x_i‐1 and x_i belong to a block B_i and no point appears more than once. The distance between points x and y in a factor H is the length of the shortest path from x to y. The diameter of a connected factor H is the maximum of the set of distances among all pairs of points of H. We prove that a TD (3, n) is halvable into isomorphic factors of diameter d only if d = 2,3,4, or ∞ and we completely determine for which values of n there exists such a halvable TD (3, n). We also show that if any group divisible design with block size at least 3 is decomposed into two factors with the same finite diameter d, then d≤ 4. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 83–99, 2000     

On simple and supersimple transversal designs

In this paper, the existence of a transversal design TD_λ (4, g) is proved for all indices λ satisfying 2 ≤ λ ≤ g such that any two of its blocks intersect in at most two elements. Similar results are obtained for transversal designs without repeated blocks. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 311–320, 2000     

New recursive methods for transversal covers

A transversal cover is a set of gk points in k disjoint groups of size g and a minimum collection of transversal subset s, called blocks, such that any pair of points not contained in the same group appear in at least one block. The case g = 2 was investigated and completely solved by Sperner, Renyi, Katona, Kleitman, and Spencer. For all g, asymptotic results are known, but little is understood for small values of k. Sloane and others have initiated the investigation of g = 3. The present article is concerned with constructive techniques for all g and k. One of the principal constructions generalizes Wilson's theorem for transversal designs. This article also discusses a simulated annealing algorithm for finding transversal covers and gives a table of the best known transversal covers at this time. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 185–203, 1999